condensed detachment

压缩分离法